SEIR_1_io
id_total, 0.555433773
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.040439877
id_inclusion_check_mod_p, 0.007303808
id_groebner_time, 0.12380203000000001
id_beautifulization, 0.10064168899999999
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 59150.0
